To search, Click below search items.
All Published Papers Search Service
Title
Formal Analysis of Distributed Shared Memory Algorithms
Author
Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Vol. 24 No. 4 pp. 192-196
Keywords
Virtual memory, Distributed Algorithm, Formal Specification, Verification.